Graph Nodes:
X6;X13;X11;X8;X3;X12;X2;X10;X9;X7

Graph Edges:
1. X6 <-> X12
2. X7 o-> X6
3. X13 <-> X11
4. X13 <-> X12
5. X13 <-> X9
6. X2 o-> X11
7. X10 o-> X11
8. X8 <-> X3
9. X8 <-> X12
10. X8 <-> X7
11. X3 <-> X10
12. X3 --> X9
13. X12 <-> X10
14. X9 <-> X7
